Defining A Requirement With Contracting